Representation theory - PDFSEARCH.IO - Document Search Engine

Representation theory
Results: 2297

#	Item
571	The Trace Formula and its Applications An introduction to the work of James Arthur∗ I balanced all, brought all to mind, An Irish airman foresees his death W. B. Yeats Add to Reading List Source URL: www.sunsite.ubc.ca Language: English - Date: 2001-05-12 20:16:46 Field theory Representation theory of Lie groups Representation theory Automorphic forms Valuation Weight Algebraic number field Connection Symbol Abstract algebra Algebra Mathematics
572	1 Polarised Intermediate Representation of Lambda Calculus with Sums Guillaume Munch-Maccagnoni Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-04-08 08:34:46 Natural deduction Lambda calculus Sequent calculus Admissible rule Calculus Sequent Entailment Judgment Curry–Howard correspondence Logic Mathematical logic Proof theory
573	Paradox Issue 3, 2013 T HE M AGAZINE OF THE M ELBOURNE U NIVERSITY M ATHEMATICS AND S TATISTICS S OCIETY Page 2 Add to Reading List Source URL: www.ms.unimelb.edu.au Language: English - Date: 2013-11-09 21:26:38 Kazhdan–Lusztig polynomial Polynomials Representation theory of Lie algebras Representation theory of Lie groups David Kazhdan George Lusztig Coxeter group Abstract algebra Mathematics Algebra
574	ARTICLE IN PRESS Information Systems–203 Contents lists available at ScienceDirect Information Systems Add to Reading List Source URL: dbgroup.cs.tsinghua.edu.cn Language: English - Date: 2012-09-26 08:00:46 Tree Lowest common ancestor B-tree Rope R-tree Graph theory Binary trees Knowledge representation
575	Review of The theory of Eisenstein systems by M. Scott Osborne and Garth Warner The Laplace-Beltrami operator on the upper half-plane with respect to the hyperbolic metric is ∂2 ∂x2 Add to Reading List Source URL: www.sunsite.ubc.ca Language: English - Date: 2001-05-25 18:03:28 Modular forms Selberg trace formula Fuchsian group Automorphic form Cusp form Congruence subgroup Hecke operator Induced representation Möbius transformation Abstract algebra Mathematical analysis Mathematics
576	Journal of Artificial Intelligence Research441 Submitted 03/12; publishedTransforming Graph Data for Statistical Relational Learning Ryan A. Rossi Add to Reading List Source URL: jair.org Language: English - Date: 2012-10-30 19:53:21 Graph theory Mathematics Statistical relational learning Database Topology Knowledge representation and reasoning Graph Electronics Social network analysis software Statistics Machine learning Database management systems
577	IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOL. 26, NO. X, Add to Reading List Source URL: dbgroup.cs.tsinghua.edu.cn Language: English - Date: 2014-09-19 00:44:26 R-tree T-tree Pruning Tree Type–token distinction Segment tree Data management Binary trees Knowledge representation Graph theory
578	Experiments in generic programming: runtime type representation and implicit values Pierre Chambart & Gr´egoire Henry June 7, 2012 Abstract We present two ongoing related experiments in generic programming Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:02:12 Type theory Data types Functional programming Functional languages Type class Generic programming OCaml Constructor Main function Software engineering Computing Computer programming
579	¨ SCALING FOR THE NONLINEAR SCHRODINGER EQUATION JORDAN BELL The nonlinear Schr¨ Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2012-06-04 19:24:04 Ordinary differential equations Mathematics Representation theory of Lie groups Spectral theory of ordinary differential equations Sturm–Liouville theory Spectral theory Mathematical analysis Operator theory
580	Formalizing the LLVM Intermediate Representation for Verified Program Transformations ∗ Jianzhou Zhao Santosh Nagarakatte Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2011-12-01 15:39:42 Data types Type theory Compiler construction Primitive types Cross-platform software LLVM Type safety Blocks Pointer Software engineering Computing Computer programming

UPDATE